convergence from below

由下收敛性